Instance Verification Kit (IVK)

spin lock @ [29403+37+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
Instance Signature: lock

The Matching Pair Graph:

Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__dwc3_gadget_ep_disable [14579+24+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_cleanup_done_reqs [45231+22+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_endpoint_interrupt [47345+23+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_endpoint_transfer_complete [46490+31+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_ep0_complete_data [18559+22+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_complete_status [19954+24+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_inspect_setup [17727+22+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_interrupt [25207+18+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_stall_and_restart [6919+26+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_xfer_complete [20750+22+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_xfernotready [23990+21+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_gadget_conndone_interrupt [54616+30+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep0_set_halt [7459+24+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_gadget_ep_dequeue [29092+22+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep_disable [16670+22+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep_set_wedge [31173+24+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_giveback [6008+20+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_interrupt [60627+21+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_reset_interrupt [52323+27+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_resume [67815+18+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_start [37063+17+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_stop [39572+16+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_suspend [67628+19+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_process_event_buf [62423+22+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_process_event_entry [61898+24+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_remove_requests [13796+20+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_resume [21246+11+/linux-3.18-rc1/drivers/usb/dwc3/core.c]
dwc3_stop_active_transfers [51128+26+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_suspend [20660+12+/linux-3.18-rc1/drivers/usb/dwc3/core.c]
dwc3_thread_interrupt [63548+21+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]